w\_locle($w$;$x$;$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$ (($\lambda$$x$,$y$. ($\neg$($\uparrow$first($y$))) c$\wedge$ ($x$ = pred($y$)))$^{\mbox{\scriptsize $\ast$}}$) $y$